6.3 KB · ⇊ 3 parts · ⤓ Micron 6.3 KB · ⤓ HTML 51.9 KB

top

Die Selberg-Delange-Methode ist eine Technik aus der analytischen Zahlentheorie. Sie dient dazu, die mittlere Ordnung einer zahlentheoretischen Funktion zu bestimmen. Sie ist nach Atle Selberg und Hubert Delange benannt.

• Die Klassen T und P

• Aussage

• Vor- und Nachteile

• Einzelnachweise

Seien z ∈ ∈ C , c 0 > 0 , 0 < δ δ ≤ ≤ 1 , M > 0. {\displaystyle z\in \mathbb {C} ,c_{0}>0,0<\delta \leq 1,M>0.} Ist nun F ( s ) = ∑ ∑ a ( n ) / n s {\displaystyle \textstyle F(s)=\sum a(n)/n^{s}} eine Dirichlet-Reihe mit Konvergenzhalbebene Re ⁡ ⁡ ( s ) > 1 {\displaystyle \operatorname {Re} (s)>1} , so gehört diese zur Klasse P ( z ; c 0 , δ δ , M ) {\displaystyle P(z;c_{0},\delta ,M)} , falls die Dirichlet-Reihe

G ( s ; z ) := F ( s ) ζ ζ ( s ) − − z {\displaystyle G(s;z):=F(s)\zeta (s)^{-z}}

eine auf dem ganzen Gebiet { Re ⁡ ⁡ ( s ) > 1 − − c 0 1 + max { 0 , log ⁡ ⁡ ( | Im ⁡ ⁡ ( s ) | ) } } {\displaystyle \left\{\operatorname {Re} (s)>1-{\tfrac {c_{0}}{1+\max\{0,\log(|\operatorname {Im} (s)|)\}}}\right\}} holomorphe Funktion darstellt und dort außerdem der Ungleichung

| G ( s ; z ) | ≤ ≤ M ( 1 + | Im ⁡ ⁡ ( s ) | ) 1 − − δ δ {\displaystyle |G(s;z)|\leq M(1+|\operatorname {Im} (s)|)^{1-\delta }}

genügt. Hierbei bezeichnet ζ ζ ( s ) {\displaystyle \zeta (s)} die Riemannsche Zeta-Funktion. Existiert nun eine Folge b ( n ) {\displaystyle b(n)} mit | a ( n ) | ≤ ≤ b ( n ) {\displaystyle |a(n)|\leq b(n)} und die Reihe ∑ ∑ b ( n ) / n s {\displaystyle \textstyle \sum b(n)/n^{s}} gehört zur Klasse P ( w ; c 0 , δ δ , M ) {\displaystyle P(w;c_{0},\delta ,M)} , so liegt F ( s ) {\displaystyle F(s)} per Definition sogar in der Klasse T ( z , w ; c 0 , δ δ , M ) . {\displaystyle T(z,w;c_{0},\delta ,M).} Dann lässt sich die folgende modifizierte Funktion im Ursprung lokal als Taylor-Reihe schreiben:

s z F ( s + 1 ) s + 1 = ∑ ∑ k = 0 ∞ ∞ μ μ k ( z ) s k , | s | < min { c 0 , 1 } . {\displaystyle {\frac {s^{z}F(s+1)}{s+1}}=\sum _{k=0}^{\infty }\mu _{k}(z)s^{k},\quad |s|<\min\{c_{0},1\}.}

Liegt F ( s ) {\displaystyle F(s)} in der Klasse T ( z , w ; c 0 , δ δ , M ) {\displaystyle T(z,w;c_{0},\delta ,M)} , so gilt bereits für x ≥ ≥ 3 , N ≥ ≥ 0 , A > 0 , | z | , | w | ≤ ≤ A {\displaystyle x\geq 3,N\geq 0,A>0,|z|,|w|\leq A} :cite-ref-1[1]

∑ ∑ n ≤ ≤ x a ( n ) = x ( log ⁡ ⁡ x ) z − − 1 ( ∑ ∑ 0 ≤ ≤ k ≤ ≤ N μ μ k ( z ) Γ Γ ( z − − k ) ( log ⁡ ⁡ ( x ) ) k + O ( M ( e − − c 1 log ⁡ ⁡ ( x ) + ( c 2 N + 1 log ⁡ ⁡ ( x ) ) N + 1 ) ) ) . {\displaystyle \sum _{n\leq x}a(n)=x(\log x)^{z-1}\left(\sum _{0\leq k\leq N}{\frac {\mu _{k}(z)}{\Gamma (z-k)(\log(x))^{k}}}+O\left(M\left(\mathrm {e} ^{-c_{1}{\sqrt {\log(x)}}}+\left({\frac {c_{2}N+1}{\log(x)}}\right)^{N+1}\right)\right)\right).}

Hierbei hängen die positiven Konstanten c 1 , c 2 {\displaystyle c_{1},c_{2}} und die implizite Konstante im Landau-Symbol höchstens von der Wahl von c 0 , δ δ {\displaystyle c_{0},\delta } und A {\displaystyle A} ab. Ein wichtiger Spezialfall ist z ∈ ∈ Z {\displaystyle z\in \mathbb {Z} } . Dann folgt 1 / Γ Γ ( z − − k ) = 0 {\displaystyle 1/\Gamma (z-k)=0} , wann immer k ≥ ≥ z {\displaystyle k\geq z} gilt. Dies ermöglicht es, N {\displaystyle N} so zu wählen, dass der Fehlerterm minimiert wird. Etwa erreicht man mit der Wahl von N := ⌊ ⌊ log ⁡ ⁡ ( x ) / e c 2 ⌋ ⌋ {\displaystyle N:=\lfloor \log(x)/\mathrm {e} c_{2}\rfloor } die Aussage

∑ ∑ n ≤ ≤ x a ( n ) = x ( log ⁡ ⁡ ( x ) ) z − − 1 ( ∑ ∑ 0 ≤ ≤ k ≤ ≤ z − − 1 μ μ k ( z ) Γ Γ ( z − − k ) ( log ⁡ ⁡ ( x ) ) k + O ( M e − − c 1 log ⁡ ⁡ ( x ) ) ) . {\displaystyle \sum _{n\leq x}a(n)=x(\log(x))^{z-1}\left(\sum _{0\leq k\leq z-1}{\frac {\mu _{k}(z)}{\Gamma (z-k)(\log(x))^{k}}}+O\left(M\mathrm {e} ^{-c_{1}{\sqrt {\log(x)}}}\right)\right).}

Vorteile der Selberg-Delange-Methode sind die recht explizite Angabe eines Fehlerterms sowie die fehlende Notwendigkeit, dass die a ( n ) {\displaystyle a(n)} stets nicht-negativ sein müssen. Jedoch kann die geforderte vertikale Abschätzung (die nicht weggelassen werden kann!) eine Hürde darstellen. Werden also weniger detaillierte Angaben über die mittlere Ordnung gebraucht, kann man auch auf Taubersätze zurückgreifen, die bereits unter deutlich schwächeren Annahmen gelten, jedoch keine Abschätzung der Fehlerterme zulassen.

cite-note-11. ↑ Gérald Tenenbaum: Introduction to analytic and probabilistic number theory. AMS, Rhode Island 1990, S. 281.